//
// Description: 5926. 买票需要的时间
// Created by Loading on 2021/11/14.
//

#include <bits/stdc++.h>

using namespace std;

int timeRequiredToBuy(vector<int> &tickets, int k) {
    int res = 0;
    /* 当第 k 个人完成买票的那一刻，在 k 前面的人买的票不会超过 tickets[k]，在 k 后面的人买的票不会超过 tickets[k] − 1，累加所有购票数即为答案 */
    for (int i = 0; i < tickets.size(); ++i) {
        if (i <= k) {
            res += min(tickets[i], tickets[k]);
        } else {
            res += min(tickets[i], tickets[k] - 1);
        }
    }

    return res;
}

int main() {
    vector<int> tickets = {5, 1, 1, 1};
    int k = 0;
    int res = timeRequiredToBuy(tickets, k);
    cout << res << endl;

    return 0;
}